extract:
	../dartextract.py fetched/dartLangSpec.tex extract.glue

fetch:
	curl https://raw.githubusercontent.com/dart-lang/bleeding_edge/e8b05e6335c5b0c2f354cb2e25f15e2f3de4e3b3/dart/docs/language/dartLangSpec.tex > fetched/dartLangSpec.tex
